Serveur d'exploration sur Mozart - Exploration (Accueil)

Index « Auteurs » - entrée « Adam Meissner »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Adam M. Croom < Adam Meissner < Adam Rutherford  Facettes :

List of bibliographic references indexed by Adam Meissner

Number of relevant bibliographic references: 5.
Ident.Authors (with country if any)Title
000509 (2011-03-28) Adam Meissner [Pologne]Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
000A63 (2009) Adam Meissner [Pologne]A Simple Parallel Reasoning System for the $\mathcal{ALC}$ Description Logic
001018 (2008) Adam Meissner [Pologne]Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language
001212 (2008) Adam Meissner [Pologne] ; Magdalena Niwi Ska [Pologne] ; Krzysztof Zwierzy Ski [Pologne]Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System
001730 (2006) Adam Meissner [Pologne] ; Krzysztof Zwierzy Ski [Pologne]Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Adam Meissner" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Adam Meissner" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Musique
   |area=    MozartV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Adam Meissner
}}

Wicri

This area was generated with Dilib version V0.6.20.
Data generation: Sun Apr 10 15:06:14 2016. Site generation: Tue Feb 7 15:40:35 2023